-
21 язык, основанный на логике предикатов
1) Automation: predicate logic language (как функций нескольких переменных)Универсальный русско-английский словарь > язык, основанный на логике предикатов
-
22 язык , основанный на логике предикатов
Information technology: (программирования) predicate logic language, (программирования) predicate logic-based languageУниверсальный русско-английский словарь > язык , основанный на логике предикатов
-
23 сравнивать счёт вопреки логике игры
Русско-английский спортивный словарь > сравнивать счёт вопреки логике игры
-
24 контроллер на нечеткой логике
Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > контроллер на нечеткой логике
-
25 работа по двузначной логике
Русско-английский большой базовый словарь > работа по двузначной логике
-
26 специалист по логике
Русско-английский большой базовый словарь > специалист по логике
-
27 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
28 форма
configuration, form, format, geometry, matrix, make, model, mold, pan пищ., pattern метал., retainer, shape, structure, tin* * *фо́рма ж.1. form, shapeвыде́рживать фо́рму, напр. при обрабо́тке — keep true to shape, e. g., in machiningфо́рма изде́лия претерпева́ет ре́зкие измене́ния — the product shows discontinuities in shapeиме́ть фо́рму — be (in) the form [shape] of, be shaped as, take the form ofпо фо́рме:выреза́ть запла́ту по фо́рме, напр. ба́ка — form a patch to fit the contour, e. g., of the tankпра́вильной фо́рмы — of a regular shapeпридава́ть фо́рму — shape, formпринима́ть фо́рму сосу́да ( о жидкости) — conform to the shape of the (containing) vesselсде́ланный в фо́рме чего-л. — made to the shape of a …сохраня́ть фо́рму — hold (its) shape2. (вид, тип процесса) mode3. мат. quantic4. ( бланк установленного образца) form, blankзаполня́ть фо́рму № — … execute form No …подава́ть (напр. заявку) по (устано́вленной) фо́рме — execute an application [request] formпо фо́рме № … — on form No …заявле́ние, соста́вленное по фо́рме № … — an application on form No …аналити́ческая фо́рма — analytical formана́логовая фо́рма — analog formбето́нная фо́рма — formразбира́ть или снима́ть (напр. бетонную) фо́рму — remove the form(s)собира́ть (напр. бетонную) фо́рму — erect (the) formsво́гнутая фо́рма ( поверхности бочки валка) метал. — concave camberфо́рма волны́ — wave shape, waveformвы́пуклая фо́рма ( поверхности бочки валка) метал. — convex camberдизъюнкти́вная фо́рма ( в логике) — disjunctive formдизъюнкти́вная, норма́льная фо́рма — disjunctive normal formдискре́тная фо́рма — digital formфо́рма для ва́куумного формова́ния, негати́вная пласт. — female mouldфо́рма для ва́куумного формова́ния, позити́вная пласт. — male formфо́рма для выдува́ния — blow mouldфо́рма для изготовле́ния изде́лий окуна́нием или мака́нием рез. — dipping mouldфо́рма для изготовле́ния ти́глей — mould matrixфо́рма для литья́ в ко́киль — chill mouldфо́рма для литья́ по выплавля́емым моде́лям — investment mouldфо́рма для литья́ под давле́нием — die mould, moulding [pressure casting] dieфо́рма для литья́ под давле́нием, многогнё́здная — multiple-cavity dieфо́рма для литья́ под давле́нием, одногнё́здная — single-cavity dieфо́рма для определе́ния жидкотеку́чести мета́лла, спира́льная — Saeger spiralфо́рма за́писи мат. — notationв опера́торной фо́рме за́писи — in operational notationквадрати́чная фо́рма мат. — quadratic form, quadric quantic, form of degree twoфо́рма ко́мплексного числа́, алгебраи́ческая — rectangular form of a complex numberфо́рма ко́мплексного числа́, тригонометри́ческая — polar form of a complex number, trigonometric form of a complex numberфо́рма конта́кта эл. — (contact) profileвосстана́вливать фо́рму конта́кта напи́льником — file up a contact to restore the profileконъюнкти́вная фо́рма ( в логике) — conjunctive formконъюнкти́вная, норма́льная фо́рма — conjunctive normal formфо́рма крыла́ в пла́не — wing planformфо́рма ку́зова — body shape, appearanceлите́йная фо́рма — mould, casting [foundry] mouldнаноси́ть кра́ску на лите́йную фо́рму — apply the mould wash, wash a mould a parting mixtureотлива́ть в фо́рму — mould, castпокрыва́ть лите́йную, фо́рму сло́ем, напр. графи́та — dust a mould with, e. g., graphiteхорошо́ заполня́ть (лите́йную) фо́рму при литье́ — cast wellлите́йная, безопо́чная фо́рма — boxless mouldлите́йная, ги́псовая фо́рма — gypsum mouldлите́йная, гли́няная фо́рма — loam mouldлите́йная, земляна́я фо́рма — loam mouldлите́йная, металли́ческая фо́рма — metal [chill] mouldлите́йная, многокра́тная фо́рма — longlife [permanent] mouldлите́йная, многокра́тно испо́льзуемая фо́рма — long-life [permanent] mouldлите́йная, оболо́чковая фо́рма — shell mouldлите́йная, песча́ная фо́рма — sand mouldлите́йная, песча́ная, за́крытая фо́рма — closed sand mouldлите́йная, песча́ная, откры́тая фо́рма — open sand mouldлите́йная, пове́рхностно подсу́шенная фо́рма — skin-dried mouldлите́йная фо́рма по выплавля́емым моделя́м — investment mouldлите́йная, подсу́шенная фо́рма — partially dried mouldлите́йная, ра́зовая фо́рма — temporary mouldлите́йная, со́бранная фо́рма — complete mouldлите́йная, стержнева́я фо́рма — core mouldлите́йная, суха́я фо́рма — baked [dried] mouldлите́йная, сыра́я фо́рма — green-sand mouldлитьева́я фо́рма пласт. — casting mouldлитьева́я, поршнева́я фо́рма — plunger mouldмылохолоди́льная фо́рма — soap-cooling frameнепра́вильная фо́рма — irregular shapeобтека́емая фо́рма — streamline contour, aerodynamic [streamline] form, streamline shapeпридава́ть обтека́емую фо́рму — streamline, give a streamline formопти́чески акти́вная фо́рма — optically active formотливна́я фо́рма ( наборной машины) — mouldотливна́я, линоти́пная фо́рма — linotype mouldотливна́я, моноти́пная фо́рма — monotype mouldотливна́я, универса́льная фо́рма — universal mould wheelпеча́тная фо́рма — (printing) plateзака́тывать печа́тную фо́рму ( переводной или копировальной краской) — roll up a plateнака́тывать кра́ску на печа́тную фо́рму — roll a formпеча́тная фо́рма для высо́кой печа́ти — relief plateпеча́тная фо́рма для глубо́кой печа́ти — intaglio plateпеча́тная фо́рма для офсе́тной печа́ти — offset plateпеча́тная фо́рма для тисне́ния — embossing plateпеча́тная фо́рма для трафаре́тной печа́ти — screen stencilпеча́тная, контро́льная фо́рма — master plateпеча́тная, ко́нтурная фо́рма — skeleton formпеча́тная, маши́нная фо́рма — plateпеча́тная, оригина́льная фо́рма — original plateпеча́тная, стереоти́пная фо́рма — stereotype plateпеча́тная, текстова́я фо́рма — type formпеча́тная, фототи́пная фо́рма — collotype plateпеча́тная, шрифтова́я фо́рма — type formпеча́тная, этало́нная фо́рма — master plateплу́нжерная фо́рма пласт. — plunger mouldподви́жная фо́рма — slip formполубилине́йная фо́рма мат. — sesquilinear formпра́вильная фо́рма — regular shapeпредварё́нная фо́рма ( в логике) — prenex formприсоединё́нная фо́рма мат. — adjoint form, concomitantразбо́рная фо́рма стр. — collapsible formфо́рма распа́да яд. физ. — decay mode, mode of disintegrationфо́рма с обогрева́емым ли́тником пласт. — hot-runner mouldсоверше́нная фо́рма ( в логике) — expanded formфо́рма с одни́м впускны́м ли́тником пласт. — single gate mouldсокращё́нная фо́рма ( в логике) — contracted formтупико́вая фо́рма ( в логике) — irredundant formфо́рма фа́кела — flame patternфо́рма фа́кела распы́ла то́плива — fuel-injection patternхле́бная фо́рма — loaf mouldчернова́я фо́рма ( в стекольном производстве) — parison mould (glass) -
29 двузначный
1) General subject: bidigitate (о числе), double digit, double figure, double-digit (о числах), two digit, two valued, two-valued (о логике)2) American: double-digit, double-figure3) Engineering: two-figure4) Chemistry: bivalent5) Mathematics: ambiguous, double-valued, of two places, two-to-one6) Economy: two-digit (по стандартной промышленной классификации США об укрупнённой отрасли, напр., о машиностроении)7) Logics: two-valued (о логике и т.п.)8) Telecommunications: double-rated9) Information technology: two-value10) Oil: twovalue11) Cartography: two-place -
30 n-ка
2) Makarov: n-tuple (в математической логике) -
31 билогический
Information technology: bilogical (основанный на бинарной логике) -
32 биологический
1) General subject: bio, biologic, biological, life science2) Medicine: zoetic4) Information technology: bilogical (основанный на бинарной логике) -
33 внесение
1) General subject: entering, importation, superinducement, superinduction, introduction2) Biology: application (напр. удобрений)3) Engineering: addition4) Agriculture: application (напр. удобрений или ядохимикатов), cumulative distribution curve (удобрений, ядохимикатов), incorporation5) Mathematics: bringing in, entry6) Economy: application (напр. удобрений, ядохимикатов)7) Linguistics: parenthesis8) Mining: treatment (удобрений)9) Forestry: application (удобрений, ядохимикатов), distribution (удобрений, ядохимикатов)10) Metallurgy: drag-in (напр. загрязнений катодами гальванической ванны), insertion11) Polygraphy: distribution (удобрений)12) Textile: dressing (удобрений)13) Information technology: application (удобрений), injection14) Astronautics: filling in15) Ecology: distribution (напр. ядохимикатов)16) Patents: application (напр. поправки)17) Makarov: deposit, importation (в математической логике), placement (удобрений), treatment (удобрении, ядохимикатов)18) Security: insertion (напр. дополнений)19) SAP.fin. depositing -
34 выразить операцию через штрих Шеффера
Универсальный русско-английский словарь > выразить операцию через штрих Шеффера
-
35 дескрипция
Engineering: description (в логике) -
36 дизъюнктивная форма
1) Mathematics: disjunctive form2) Information technology: SOP expression3) Makarov: disjunctive form (в логике)Универсальный русско-английский словарь > дизъюнктивная форма
-
37 закон исключённого четвёртого
Mathematics: quartum non datur (в трёхзначной логике)Универсальный русско-английский словарь > закон исключённого четвёртого
-
38 истинное значение
1) General subject: quaesitum, the intrinsical meaning2) Engineering: actual value, full value, real value, truth value3) Construction: actual value (величины)4) Mathematics: ideal value, true value5) Information technology: true value (напр. функции или сигнала)6) Programming: true meaning7) Makarov: intrinsic meaning, perfect value, the intrinsic meaning, true reading, truth value (в логике) -
39 конъюнктивная форма
1) Mathematics: conjunctive form2) Makarov: conjunctive form (в логике)Универсальный русско-английский словарь > конъюнктивная форма
-
40 незнание
1) General subject: guiltlessness (of; чего-л.), ignorance, nescience, non acquaintance, unfamiliarity2) Engineering: ignorance (в математической логике)3) Bookish: non-acquaintance4) Mathematics: lack of knowledge5) Makarov: innocence
См. также в других словарях:
логике — следовать логике • объект, зависимость, контроль … Глагольной сочетаемости непредметных имён
Видеоигры на дискретной логике — Видеоигры на дискретной логике наиболее ранние видеоигры, аппаратура которых не использовала микропроцессоров и управляющих программ и была выполнена на дискретной логике, то есть на цифровых микросхемах низкой степени интеграции. Видеоигры … Википедия
ТЕОРИЯ В ЛОГИКЕ — ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… … Философская энциклопедия
От наукоучения — к логике культуры. Два философских... — «ОТ НАУКОУЧЕНИЯ К ЛОГИКЕ КУЛЬТУРЫ. ДВА ФИЛОСОФСКИХ ВВЕДЕНИЯ В ДВАДЦАТЬ ПЕРВЫЙ ВЕК» Эта книга B.C. Библера (М., 1991) является вторым, значительно дополненным изданием его работы «Мышление как творчество: Введение в логику мысленного… … Энциклопедия эпистемологии и философии науки
Индукция (в логике) — Индукция (греч. epagoge, лат. inductio ‒ наведение), вид обобщений, связанных с предвосхищением результатов наблюдений и экспериментов на основе данных прошлого опыта. Именно поэтому и говорят об эмпирических, или индуктивных, обобщениях, или об… … Большая советская энциклопедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Обращение (в логике) — Обращение (лат. conversio), преобразование предложения путём обмена местами его терминов ≈ субъекта и предиката. О. называется простым, если при О. кванторные слова (см. Квантор) не меняются. Просто обращаются все общеотрицательные предложения… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… … Большая советская энциклопедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия